Gaisi Takeuti: pesquisar na Z-Library

Sua porta de entrada para o conhecimento e a cultura. Acessível para todos.

Don't use scam websites

Livros (32)
Mais populares
Lista
- Lista
- Tabela

1

Proof Theory

Proof Theory

Dover Publications

Ano:

2013

Idioma:

english

Arquivo:

EPUB, 27.43 MB

5.0 / 0

english, 2013

2

Axiomatic Set Theory

Axiomatic Set Theory

Springer-Verlag New York

Gaisi Takeuti, Wilson M. Zaring (auth.)

Ano:

1973

Idioma:

english

Arquivo:

PDF, 13.24 MB

5.0 / 5.0

english, 1973

3

Proof Theory

Proof Theory

Gaisi Takeuti, 竹内外史

Ano:

1987

Idioma:

english

Arquivo:

PDF, 23.91 MB

0 / 0

english, 1987

4

Introduction to Axiomatic Set Theory

Introduction to Axiomatic Set Theory

Springer-Verlag New York

Gaisi Takeuti, Wilson M. Zaring

Ano:

1982

Idioma:

english

Arquivo:

DJVU, 1.87 MB

0 / 0

english, 1982

5

層・圏・トポス——現代的集合像を求めて

層・圏・トポス——現代的集合像を求めて

日本評論社

Gaisi Takeuti, 竹内外史

Ano:

2010

Idioma:

japanese

Arquivo:

PDF, 9.00 MB

0 / 5.0

japanese, 2010

6

証明論と計算量

証明論と計算量

Gaisi Takeuti, 竹内外史

Ano:

1995

Idioma:

japanese

Arquivo:

PDF, 9.80 MB

0 / 5.0

japanese, 1995

7

数理論理学—語の問題

数理論理学—語の問題

Gaisi Takeuti, 竹内外史

Ano:

1973

Idioma:

japanese

Arquivo:

PDF, 14.73 MB

0 / 4.5

japanese, 1973

8

Proof Theory

Proof Theory

Ano:

1975

Idioma:

english

Arquivo:

PDF, 5.95 MB

0 / 0

english, 1975

9

Proof theory

Proof theory

Ano:

1987

Idioma:

english

Arquivo:

DJVU, 4.47 MB

0 / 0

english, 1987

10

Memoirs of a Proof Theorist: Gödel and Other Logicians

Memoirs of a Proof Theorist: Gödel and Other Logicians

World Scientific Pub Co Inc

Gaisi Takeuti, Nicholas Passell, Mariko Yasugi

Ano:

2003

Idioma:

english

Arquivo:

PDF, 4.79 MB

0 / 0

english, 2003

11

Two Applications of Logic to Mathematics

Two Applications of Logic to Mathematics

Princeton University Press

Ano:

1978

Idioma:

english

Arquivo:

PDF, 1.15 MB

0 / 0

english, 1978

12

Axiomatic Set Theory

Axiomatic Set Theory

Springer-Verlag New York

Gaisi Takeuti, Wilson M. Zaring (auth.)

Ano:

1973

Idioma:

english

Arquivo:

DJVU, 2.33 MB

0 / 0

english, 1973

13

Proof Theory

Proof Theory

Ano:

1975

Idioma:

english

Arquivo:

DJVU, 2.24 MB

0 / 0

english, 1975

14

Proof theory: (based on a series of lectures at the Symposium on intuitionism and proof theory held at Buffalo 1968)

Proof theory: (based on a series of lectures at the Symposium on intuitionism and proof theory held at Buffalo 1968)

Ano:

1987

Idioma:

english

Arquivo:

DJVU, 4.47 MB

0 / 0

english, 1987

15

Memoirs of a proof theorist: Goedel and other logicians

Memoirs of a proof theorist: Goedel and other logicians

World Scientific Publishing Company

Gaisi Takeuti, Nicholas Passell, Mariko Yasugi

Ano:

2003

Idioma:

english

Arquivo:

DJVU, 891 KB

0 / 0

english, 2003

16

Proof Theory

Proof Theory

Elsevier Science Ltd

Gaisi Takeuti [Takeuti, Gaisi]

Ano:

1987

Idioma:

english

Arquivo:

PDF, 23.40 MB

0 / 4.0

english, 1987

17

Memoirs of a Proof Theorist: Gödel and Other Logicians

Memoirs of a Proof Theorist: Gödel and Other Logicians

World Scientific Pub Co Inc

Gaisi Takeuti, Nicholas Passell, Mariko Yasugi

Ano:

2003

Idioma:

english

Arquivo:

DJVU, 892 KB

0 / 0

english, 2003

18

Axiomatic Set Theory

Axiomatic Set Theory

Springer-Verlag New York

Gaisi Takeuti, Wilson M. Zaring (auth.)

Ano:

1973

Idioma:

english

Arquivo:

DJVU, 6.27 MB

0 / 0

english, 1973

19

Introduction to Axiomatic Set Theory

Introduction to Axiomatic Set Theory

Springer, Springer-Verlag

Gaisi Takeuti, Wilson M. Zaring

Ano:

1982

Idioma:

english

Arquivo:

PDF, 14.28 MB

5.0 / 5.0

english, 1982

20

Introduction to Axiomatic Set Theory

Introduction to Axiomatic Set Theory

Springer-Verlag New York

Gaisi Takeuti, Wilson M. Zaring (auth.)

Ano:

1982

Idioma:

english

Arquivo:

PDF, 4.37 MB

5.0 / 0

english, 1982

21

Introduction to Axiomatic Set Theory

Introduction to Axiomatic Set Theory

Springer, Springer-Verlag Berlin Heidelberg GmbH

Gaisi Takeuti, Wilson M. Zaring

Ano:

1982

Idioma:

english

Arquivo:

PDF, 6.45 MB

0 / 0

english, 1982

22

Introduction to Axiomatic Set Theory

Introduction to Axiomatic Set Theory

Springer, Springer-Verlag Berlin Heidelberg GmbH

Gaisi Takeuti, Wilson M. Zaring

Ano:

1982

Idioma:

english

Arquivo:

PDF, 15.10 MB

0 / 0

english, 1982

23

Introduction to Axiomatic Set Theory

Introduction to Axiomatic Set Theory

Springer, Springer-Verlag

Gaisi Takeuti, Wilson M. Zaring

Ano:

1982

Idioma:

english

Arquivo:

PDF, 14.15 MB

5.0 / 0

english, 1982

24

Axiomatic Set Theory

Axiomatic Set Theory

Springer-Verlag New York

Gaisi Takeuti, Wilson M. Zaring (auth.)

Ano:

1973

Idioma:

english

Arquivo:

DJVU, 1.18 MB

5.0 / 5.0

english, 1973

25

Introduction to Axiomatic Set Theory

Introduction to Axiomatic Set Theory

Springer, Springer-Verlag

Gaisi Takeuti, Wilson M. Zaring

Ano:

1982

Idioma:

english

Arquivo:

PDF, 4.37 MB

5.0 / 0

english, 1982

26

Introduction to Axiomatic Set Theory

Introduction to Axiomatic Set Theory

Springer, Springer-Verlag

Gaisi Takeuti, Wilson M. Zaring

Ano:

1971

Idioma:

english

Arquivo:

PDF, 13.72 MB

0 / 0

english, 1971

27

Introduction to Axiomatic Set Theory

Introduction to Axiomatic Set Theory

Springer, Springer-Verlag

Gaisi Takeuti, Wilson M. Zaring

Ano:

1982

Idioma:

english

Arquivo:

DJVU, 4.01 MB

0 / 0

english, 1982

28

Introduction to Axiomatic Set Theory

Introduction to Axiomatic Set Theory

Springer, Springer-Verlag

Gaisi Takeuti, Wilson M. Zaring

Ano:

1982

Idioma:

english

Arquivo:

DJVU, 4.01 MB

0 / 0

english, 1982

29

Two Applications of Logic to Mathematics

Two Applications of Logic to Mathematics

Princeton University Press

Ano:

1978

Idioma:

english

Arquivo:

DJVU, 961 KB

0 / 0

english, 1978

30

Introduction to axiomatic set theory

Introduction to axiomatic set theory

Springer-Verlag

Zaring, Wilson M., Takeuti, Gaisi

Ano:

1982

Idioma:

english

Arquivo:

DJVU, 1.51 MB

0 / 0

english, 1982

31

Logic Symposia Hakone 1979, 1980: Proceedings of Conferences Held in Hakone, Japan March 21–24, 1979 and February 4–7, 1980

Logic Symposia Hakone 1979, 1980: Proceedings of Conferences Held in Hakone, Japan March 21–24, 1979 and February 4–7, 1980

Springer-Verlag Berlin Heidelberg

Masazumi Hanazawa (auth.), Gert H. Müller, Gaisi Takeuti, Tosiyuki Tugué (eds.)

Ano:

1981

Idioma:

english

Arquivo:

PDF, 4.16 MB

0 / 0

english, 1981

32

Two Applications of Logic to Mathematics

Two Applications of Logic to Mathematics

Princeton University Press

Ano:

2015

Idioma:

english

Arquivo:

PDF, 3.69 MB

0 / 0

english, 2015